Hierarchy For Package edu.uky.ai.lp.logic

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • edu.uky.ai.lp.logic.BooleanExpression (implements edu.uky.ai.lp.logic.Expression)
    • edu.uky.ai.lp.logic.NAryBooleanExpression
      • edu.uky.ai.lp.logic.Conjunction
      • edu.uky.ai.lp.logic.Disjunction
    • edu.uky.ai.lp.logic.Negation
  • edu.uky.ai.lp.logic.Fact (implements edu.uky.ai.lp.logic.Expression)
  • edu.uky.ai.lp.logic.KnowledgeBase
  • edu.uky.ai.lp.logic.Rule
  • edu.uky.ai.lp.logic.Term (implements edu.uky.ai.lp.logic.Formula)
    • edu.uky.ai.lp.logic.Constant
    • edu.uky.ai.lp.logic.Variable
  • edu.uky.ai.lp.logic.Unifier (implements java.lang.Cloneable)

Interface Hierarchy

• edu.uky.ai.lp.logic.Formula
  • edu.uky.ai.lp.logic.Expression